| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| fonts | 94 | inputs | 7 | macros | 1 | ||
| pk | 11 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| readme | Text File | 64 | 2KB | 1992-05-06 |
| sizes | Text File | 8 | 38b | 1992-05-06 |
| Executable | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| preview | AmigaOS Executable | 42KB | 1992-05-06 | |
| tex | AmigaOS Executable | 127KB | 1992-05-06 | |
| Unknown | ||||
| Name | Format | Size | Date | |
| .info | Unknown | 23b | 1992-05-06 | |